<html>
<body>
Detects identical choice branches.
</body>
</html>